P:. SqStable(P) 

latex

ProofTree

Definitions	t  T, , x:A. B(x), P  Q
Lemmas	stable not, not wf, sq stable from stable